Z notation - PDFSEARCH.IO - Document Search Engine

Z notation
Results: 301

#	Item
31	αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-26 13:00:50 Alloy Z notation Constraint programming Ruby Application programming interface Software engineering Computer programming Computing
32	αRby—An Embedding of Alloy in Ruby September 20, 2013 Aleksandar Milicevic Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-09-20 18:07:45 Subroutines Parallel computing Alloy Z notation MIX Main function Ruby D Folder Computing Software engineering Computer programming
33	DRA FRONT END FILTER PROJECT Informal Justifications for Proof of Security Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:18 Z notation Order theory Constructible universe S Axiom L Filter Mathematical logic Set theory Mathematics
34	Microsoft Word - cicsschematics.1.doc Add to Reading List Source URL: www.sysed.com Language: English - Date: 2011-06-19 18:54:25 Office work Paper Z notation Business Software Computing Transaction server CICS Universal Client CA/EZTEST Transaction processing IBM software CICS
35	Software Manual for Windows Z/EVES Version 2.3 TR04h Irwin Meisels Release date: June 2004 Add to Reading List Source URL: www.oracanada.com Language: English - Date: 2009-03-31 21:35:56 Z notation LaTeX Vile Command-line interface Z TeX Software Application software Emacs
36	hanspl-2x.pdf SmartReco - C / L Classifier Data Sheet Classifier: Add to Reading List Source URL: www.recoscript.com Language: English - Date: 2009-03-11 12:41:30 J L Z Plus and minus signs C0 Controls and Basic Latin Portable character set Notation
37	Microsoft PowerPoint - SDM4.ppt [Read-Only] Add to Reading List Source URL: www.chris-kimble.com Language: English - Date: 2008-10-01 19:21:26 Formal methods Formal sciences Information science Semantic Web Technical communication Logic Z notation Software development process First-order logic Science Knowledge Philosophy
38	A nearest integer formula If y ∈ R, we define [y], the nearest integer to y by −1/2 ≤ y − [y] < 1/2. In particular, if y = z + 1/2, z ∈ Z, then [y] = z + 1. It is well-known that [y] = by + 1/2c, where btc is t Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2007-10-31 00:33:11 Floor and ceiling functions Mathematical notation
39	αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-06-06 14:09:52 Compiler construction Subroutines Alloy Z notation Ruby Monad Map Closure Static single assignment form Software engineering Computing Computer programming
40	Corporate Information & Computing Services. myCiCSnews Add to Reading List Source URL: www.cics.dept.shef.ac.uk Language: English - Date: 2014-10-21 04:22:35 Transaction processing IBM software CICS Office work Paper Z notation Blended learning Massive open online course E-learning Education Business Learning

UPDATE